Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
نویسندگان
چکیده
منابع مشابه
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Software systems evolve over time. To facilitate this, the coordination language Reo offers operations to dynamically reconfigure the topology of component connectors. We present a semantics of Reo in the presence of reconfiguration, and a logic, and its model checking algorithm, for reasoning about connector behaviour in this setting. 2000 Mathematics Subject Classification: none 1998 ACM Comp...
متن کاملA Basic Logic for Reasoning about Connector Reconfiguration
Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if components are connected using a coordination layer, then the way in which they are connected needs to change, or both. In some situations, changes must be performed without stopping the running system. This not only introduces a ...
متن کاملControl Reconfiguration
This chapter explains methods for the automatic selection of a new control configuration after some fault has changed the dynamical properties of the plant. An automatic control system can use this method after severe faults have been detected in the plant by a monitoring algorithm. It chooses new actuators, new sensors, a new control law and possibly new set-points so as to stabilize the plant...
متن کاملFronto-Parietal Network Reconfiguration Supports the Development of Reasoning Ability.
The goal of this fMRI study was to examine how well developmental improvements in reasoning ability can be explained by changes in functional connectivity between specific nodes in prefrontal and parietal cortices. To this end, we examined connectivity within the lateral fronto-parietal network (LFPN) and its relation to reasoning ability in 132 children and adolescents aged 6-18 years, 56 of w...
متن کاملReconfiguration Viewer
The proposed approach allows debugging of partial dynamic reconfiguration. It shows where and when FPGA areas are reconfigured at runtime.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.12.062